foncteur

foncteur

foncteur nom masculin Foncteur de vérité, connecteur logique qui permet d'établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe. ● foncteur (expressions) nom masculin Foncteur de vérité, connecteur logique qui permet d'établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe.

foncteur [fɔ̃ktœʀ] n. m.
ÉTYM. 1964; de fonct(ion).
Log. Chacun des opérateurs qui exprime de quelle manière la vérité de la proposition complexe qu'il sert à former est fonction de celle des propositions élémentaires (on dit parfois foncteur de vérité). || Les foncteurs comprennent les connectifs binaires et la négation.
0 (…) Mc Culloch et Pitts ont montré, en effet, qu'il y a isomorphisme entre les opérateurs intervenant dans les différentes formes de connexions neuroniques et les foncteurs de la logique des propositions (réseau booléen) et ce fait fondamental indique que si les structures logiques sont le produit de constructions progressives, se réorganisant et se poursuivant de palier en palier jusqu'à celui de la formalisation elle-même, ces constructions, sans être préformées puisqu'elles sont de plus en plus riches, remontent jusqu'aux coordinations nerveuses et sensori-motrices elles-mêmes.
J. Piaget, Épistémologie des sciences de l'homme, p. 101.

Encyclopédie Universelle. 2012.

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Foncteur — En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphisme. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 …   Wikipédia en Français

  • Foncteur Dérivé — En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes intervenant dans de… …   Wikipédia en Français

  • Foncteur derive — Foncteur dérivé En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes… …   Wikipédia en Français

  • Foncteur oubli — Foncteur En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphismes. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 …   Wikipédia en Français

  • Foncteur de vérité — ● Foncteur de vérité connecteur logique qui permet d établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe …   Encyclopédie Universelle

  • Foncteur dérivé — En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes intervenant dans de… …   Wikipédia en Français

  • Foncteur représentable — On rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d exprimer ces propriétés de façon très simple. Sommaire 1 Définition 2 Lemme de Yoneda 3 Foncteurs covariants représentables …   Wikipédia en Français

  • Foncteur adjoint — La notion d adjonction est fondamentale. Elle généralise la notion d équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, F et G sont adjoints l un à l autre (et ce, « de tous les… …   Wikipédia en Français

  • Adjoint (foncteur) — La notion d adjonction est fondamentale. Elle généralise la notion d équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, F et G sont ajoints l un à l autre (et ce, de tous les côtés… …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”